formal logic
美 
英
英汉解释
英英解释
例句
The reason we call it a necessary condition for " " because cadres'new " " may only exist in formal logic.
之所以称其为“必要条件”，是因为“必要条件”可能只存在于形式逻辑中。
Formal logic is one of the scientific methods that mature the earliest, and more widely used in all sciences than mathematics.
形式逻辑的方法是最早成熟的一种科学方法，它比数学方法更广泛地运用于各门科学。
In this article, the point of combining formal logic with natural language is proposed.
本文提出形式逻辑要与自然语言相结合的观点。
Reorganized to fit a grid of formal logic , and meaning was shorn off the appearance of objects in .
然后进行重组来适应一个形式逻辑的框架；意义也脱离了所知道的客观物体的外观。
The Formal Logic itself confirms this assumption by laying down the supreme law of thought (so-called) which has been discussed above.
在提出我们上面曾讨论过的（所谓）思维的最高规律时，形式逻辑却正好确认了这一前提。
In terms of formal logic, the problems are the same.
这两个问题在形式逻辑上其实是同一个问题。
The manner in which Formal Logic establishes this law sets a bad example to other sciences.
形式逻辑在阐明这条思维规律时，却对别的科学起了一个坏的榜样。
a graphical representation of a program using formal logic.
应用形式逻辑来图示一个程序。
Formal logic is applied to proving correctness properties of programs in Chapter 8.
第八章介绍应用应用推理等价形式逻辑证明程序正确性。
His analyses and interpretations of I Ching were also much of formal logic.
他对易之道德世界的分析与解释也是极其形式化的逻辑的。
This does not render the notion ofinformal logic vacuous, because no formal logic captures all of thenuance of natural language.
这并不使这一概念的非形式逻辑空虚，因为没有正式的逻辑捕捉所有在细微的自然语言。
It is a worthy area to explore for combining formal logic with modern linguistics and rhetorics.
形式逻辑与现代语言学、现在修辞学相结合是一个值得大力探索的领域。
However, the "find-difference" regarded that the Chinese logic could not be equal to the western formal logic.
“取异”则认为中国古代的逻辑思想不等同于西方的形式逻辑。
These research and the creation of formal logic as a science in the development is an important stage.
这些形式化的创立和研究在逻辑作为一门科学的发展中是一个重要的阶段。
The study of this formal logic undoubtedly has its uses.
对这种形式逻辑的研究，无疑是有用的。
The development of formal logic and its implementation in computing machinery is fundamental to computer science.
发展形式逻辑和其执行情况的计算机是计算机科学的基础。
Then Mojing started to use metalanguage to express their logic theories and the basic laws of formal logic.
后世诸子百家学术争鸣，自《墨经》始用元语言来表达逻辑理论和逻辑规律。
Initial sets of design patterns, styles, best practices, description languages, and formal logic were developed during that time.
最初套设计模式，风格，最佳做法，描述语言，并制定了形式逻辑在这段时间里。
Formal logic is the study of inference with purely formal content, where that content is made explicit.
形式逻辑是推理的研究与纯粹形式上的内容，其中的内容是明确的。
The unique feature of Mo-tse educational thoughts concerns with practical education, formal logic and technology etc.
墨子教育思想的独特性涉及到实践教育、形式逻辑和科学技术等方面。
There are three kinds of legal reasoning and argumentation paths and models: formal logic, rhetoric and dialogue.
法律论证主要有三种进路和论证模式：形式逻辑、修辞和对话。
Formal logic; Natural language logic; Semantic; Pragmatic; Implicature; Presupposition; Communication; Rhetoric;
形式逻辑；自然语言逻辑；语义；语用；隐涵；预设；交际；修辞；
Formal logic to deductive reasoning as the core, focusing on the logic of argument the validity of the basic model of legal argumentation;
形式逻辑以演绎推理为核心，注重论证的逻辑有效性，是法律论证最基本的模式；
From the Relationship Between Proposition and Judgment to Observe the Accurate Characteristic of the Formal Logic
从命题与判断的关系看形式逻辑精确化特征
debate; formal logic; informal logic; argument; argumentation theory;
辩论；形式逻辑；非形式逻辑；论证；论辩理论；
Formal Logic Will not Be Superseded by Mathematical Logic
数理逻辑不能取代形式逻辑
the negative relation plays the same role with the positive relation from the view of the mathematics and formal logic
从数学、形式逻辑等学科技术中也容易看出，负关系所起的作用与正关系一样重要。
Exercising formal logic thought in the teaching of engineering mathematics
在工科数学教学中贯彻形式逻辑分析思想的实例
Traditional Formal Logic Reformed and Developed by Modern Symbol Logic from Topic Logic
从命题逻辑看现代符号逻辑对传统形式逻辑的改造和发展
Analysis on Contemporary Formal Logic of Traditional Concepts
传统概念问题的当代形式逻辑剖析
foundations laid by kant ' s transcendental logic for the formal logic
康德先验逻辑对形式逻辑的奠基
Highlights of the Year 2003 Symposium Held by the Formal Logic Special Committee of the Chinese Society for Studying Logic
中国逻辑学会形式逻辑专业委员会2003年学术研讨会概述
cultivation of criticizing thinking and development of non - formal logic
批判性思维培养与非形式逻辑发展
On Formal Logic in listening comprehension of English
听力理解中的形式逻辑问题研究
Formal Logic: On the Designing of Architectural Form
关于建筑形式的逻辑
Formal Logic--An Important Means to Foster the Ability of Learning
形式逻辑--学习能力培养的重要途径
On Non-formal Logic: Its Objects and Future Directions
非形式逻辑的对象及其发展趋势
Simple assertions in formal logic,
形式逻辑的简单断言，
On the Basic Law Status of Implication Law in Formal Logic
论蕴涵规律在形式逻辑中的基本规律地位
On the embody of formal logic in Advanced math concept
谈高等数学概念中形式逻辑的体现
